Model-based testing of probabilistic systems
نویسندگان
چکیده
منابع مشابه
Testing Probabilistic Distributed Systems
There has been much interest in the testing of systems that have physically distributed interfaces and this has been encouraged by recent trends towards the use of such systems. Most formal work in this area has considered the testing of deterministic systems based on deterministic models. However, distributed systems are usually nondeterministic and often can be seen as probabilistic systems i...
متن کاملTesting of Symbolic-Probabilistic Systems
We consider the testing of systems where probabilistic information is not given by means of fixed values but as sets of probabilities. We will use an extension of finite state machine where choices among transitions having the same input actions are probabilistically resolved. We will introduce our notion of test and we will define how tests are applied to the implementation under test (IUT). W...
متن کاملSimulation + Hypothesis Testing for Model Checking Probabilistic Systems A Tutorial
Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model checking problem for stochastic systems with respect to such logics is typically solved by a numerical approach that iteratively computes (or approximates) the exact measure of paths satisfying relevan...
متن کاملCustomized Testing for Probabilistic Systems
In order to test the correctness of an IUT (implementation under test) with respect to a specification, testing its whole behavior is desirable but unfeasible. In some situations, testing the behavior of the IUT assuming that it is stimulated by a given usage model is more appropriate. Though considering this approach to test functional behaviors consists simply in testing a subset of the IUT, ...
متن کاملModel-Based Testing of Object-Oriented Systems
This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2018
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-017-0440-4